Formal representation of concepts: The Suggested Upper Merged Ontology and its use in linguistics
نویسنده
چکیده
منابع مشابه
The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications
In this paper we discuss the development and application of a large formal ontology to the semantic web. The Suggested Upper Merged Ontology (SUMO) (Niles & Pease, 2001) (SUMO, 2002) is a “starter document” in the IEEE Standard Upper Ontology effort. This upper ontology is extremely broad in scope and can serve as a semantic foundation for search, interoperation, and communication on the semant...
متن کاملRepresenting a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language
This paper presents an approach to disambiguating verb senses which differ wrt. the inferences they allow. It combines standard ontological tools and formalisms with in-depth formal semantic analysis and is therefore more formalised and more detailed than existing lexical semantic resources like WordNet and FrameNet. The resource presented here implements formal semantic description of verbs in...
متن کاملRepresenting Story Plans in SUMO
Automatic story generation systems require a body of commonsense knowledge about the basic relationships between concepts we find everyday in our world in order to produce interesting narratives that describe human actions and world events. This paper presents an ongoing work that investigates the use of Suggested Upper Merged Ontology (SUMO) to represent storytelling knowledge and its inferenc...
متن کاملAutomated Reasoning Support for SUMO/KIF
Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Although there exist extensive formal ontologies written in the Knowledge Interchange Format (KIF), such as for instance the Suggested Upper Merged Ontology (SUMO), automated reasoning support for SUMO has so far been limited. We propose a novel transformation scheme f...
متن کاملSigma: An integrated development environment for formal ontology
Sigma is an open source environment for the development of logical theories. It has been under development and regular release for nearly a decade, and has been the principal environment under which the open source Suggested Upper Merged Ontology (SUMO) has been created. We discuss its features and evolution, and explain why it is an appropriate environment for the development of expressive ont...
متن کامل